141. Categorical combinators, sequential algorithms, and functional programming
Author: Curien, Pierre-Louis
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Formal languages
Classification :
QA
267
.
3
.
C87
1993
142. Categorical combinators, sequential algorithms, and functional programming
Author: Pierre- Louis Curien
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Formal languages
Classification :
QA
,
267
.
3
,.
C87
143. Categorical combinators, sequential algorithms, and functional programming
Author: Pierre-Louis Curien
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Formal languages
Classification :
QA
267
.
3
.
C87
1993
144. Combinatorics on traces
Author: Volker Diekert
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Sequential machine theory,، Formal languages
Classification :
QA
76
.
L28
Vol
.
454
145. Combinatorics on traces
Author: Diekert, Volker
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Sequential machine theory,، Formal languages
Classification :
QA
267
.
5
.
S4
.
D54
1990
146. Communication and concurrency
Author: Robin Milner
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Machine theory,Formal languages
Classification :
QA
،
267
،.
M533
،
1989
147. Communication and concurrency
Author: Milner, R.)Robin(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Formal languages
Classification :
QA
267
.
M533
1989
148. Communication and concurrency /
Author: Robin Milner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages.,Machine theory.,Operating systems (Computers).,Parallélisme (Informatique),Systèmes d'exploitation (Ordinateurs)-- Logiciels.,Betriebssystem,Betriebssystem.,Formal languages.,Kommunikationssystem,Kommunikationssystem.,Machine theory.,Parallelverarbeitung,Programmierung,Verteiltes System
Classification :
QA267
.
M533
1989
149. Communication and concurrency
Author: / Robin Milner
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Machine theory,Formal languages
Classification :
QA267
.
M533
1989
150. Communication and concurrency
Author: / Robin Milner
Library: Library of College of Science University of Tehran (Tehran)
Subject: Machine theory,Formal languages
Classification :
QA
267
.
M53
1989
151. Communication and concurrency
Author: Milner, Robin
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Machine theory,، Formal languages
Classification :
QA
267
.
M533
152. Communication & concurrency
Author: MILNER,ROBIN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MACHINE THEORY , FORMAL LANGUAGES
Classification :
QA
267
.
M533
153. Computability, Complexity, and Languages
Author: \ Martin D. Davis, Elaine J. Weyuker
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
Classification :
E-Book
,
154. Computability, complexity, and languages
Author: / Martin D. Davis, Elaine J. Weyuker
Library: Library of College of Science University of Tehran (Tehran)
Subject: Machine theory,Computational complexity,Formal languages
Classification :
QA
267
.
D38
1983
155. Computability, complexity, and languages
Author: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Library: Library of College of Science University of Tehran (Tehran)
Subject: Machine theory,Computational complexity,Formal languages
Classification :
QA
267
.
D38
1994
156. Computability, complexity, and languages :
Author: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Formal languages,Machine theory
Classification :
QA267
.
D38
1994
157. Computability, complexity, and languages
Author: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Machine theory,Computational complexity,Formal languages
Classification :
QA
267
.
D38
1994
158. Computability, complexity, and languages
Author: / Martin D. Davis, Elaine J. Weyuker
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Machine theory,Computational complexity,Formal languages
Classification :
QA267
.
D38
1983
159. Computability, complexity, and languages : fundamentals of theoretical computer science
Author: Davis, Martin
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory,، Computational complexity,، Formal languages
Classification :
QA
267
.
D38
1994
160. Computability, complexity, and languages fundamentals of theoretical computer science
Author: Davis, Martin
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Machine theory,، Computational complexity,، Formal languages
Classification :
QA
267
.
D38
